def no[A]: A => Boolean = _ => false